Search Results for '`1 `2 Y1�1^1 2xx:=0 Y1�3;y:=0 Figure1ashrunktimedautomatonthatisblockingwhenever2�0or3�0.butunrealistictimingconstraintsarenotlimitedtozenobehaviours.theautomatoninfig.1providesanexampleofatim'